41. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
42. Displaced Sovereignty:
پدیدآورنده : Potts, Shaina
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
43. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Modality (Logic)
44. Entities and Indices
پدیدآورنده : by M.J. Cresswell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linguistics -- Philosophy.,Linguistics.,Logic.
رده :
B840
.
B965
1990
45. Epistemic modality /
پدیدآورنده : edited by Andy Egan and Brian Weatherson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Knowledge, Theory of,Modality (Logic)
رده :
BD161
.
E65
2011
46. Essays in the metaphysics of modality
پدیدآورنده : Plantinga, Alvin.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
47. First steps in modal logic /
پدیدآورنده : Sally Popkorn
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic)
رده :
QA9
.
46
.
P67
1994
48. First steps in modal logic
پدیدآورنده : Popkorn, Sally
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
9
.
46
.
P67
1994
49. Forma y modalidad :
پدیدآورنده : Mario Gómez Torrente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
رده :
BC135
.
G65
2000
50. Forms of thought :
پدیدآورنده : E.J. Lowe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic
رده :
BC71
.
L69
2013
51. Foundations of mathematical logic /
پدیدآورنده : Haskell B. Curry.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
52. Gentzen calculi for modal propositional logi
پدیدآورنده : / Francesca Poggiolesi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Modality (Logic),Electronic books., local
53. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
54. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
55. Hegel, logic and speculation /
پدیدآورنده : edited by Paolo Diego Bubbio, Alessandro De Cesaris, Maurizio Pagano, Hager Weslati.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hegel, Georg Ludwig Friedrich,1807-1831.,Hegel, Georg Ludwig Friedrich,1807-1831.,Logic.,Speculation.,Logic.,Speculation.
رده :
B2949
.
L8
H44
2019
56. Hegel's actuality chapter of the science of logic :
پدیدآورنده : Nahum Brown.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Hegel, Georg Wilhelm Friedrich,1770-1831.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Wissenschaft der Logik (Hegel, Georg Wilhelm Friedrich),Modality (Logic),Modality (Logic)
رده :
B2948
.
B765
2019
57. Hybrid Logic and its Proof-Theory
پدیدآورنده : / by Torben Braeuner
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
,.
54
.
B73
2011
58. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده : Gallin, Daniel
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
59. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
60. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
